Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 110.Ident. | Authors (with country if any) | Title |
---|---|---|
000013 | Imen Sayar [France] ; Jeanine Souquières [France] | La Validation dans le Processus de Développement |
000D04 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Proving the Fidelity of Simulations of Event-B Models |
000F16 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | JeB: Safe Simulation of Event-B Models in JavaScript |
001821 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | The Case for Using Simulation to Validate Event-B Specifications |
001C50 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Traduction de B événementiel en C pour la validation par la simulation |
003361 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
003657 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Transformation Heuristics for Formal Requirements Validation by Animation |
003716 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | B événementiel pour la modélisation du domaine: application au transport |
003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003D18 | Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France] | Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants |
003D73 | Jeanine Souquières [France] | A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles |
003E72 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
003F03 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Requirements for the Description of Component Assembling |
003F31 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
004000 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Schéma de refactoring de diagrammes de classes basé sur la notion de délégation |
004029 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Validation technique des sous-systèmes |
004065 | Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France] | Protocol Verification in a Software Component-Based Approach |
004108 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Model for the Land Transport Domain |
004109 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Atif Mashkoor ; Jeanine Souquières [France] | A synthesis of existing approaches to specify non-functional properties |
004246 | Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France] | Modélisation événementielle pour la construction de diagrammes de classes |
004372 | Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France] | Incremental development of UML specifications using operation refinements |
004508 | Dirk Seifert [France] ; Jeanine Souquières [France] | Using UML Protocol State Machines in Conformance Testing of Components |
004509 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy Assembly of Components using B Refinement |
004584 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Domain Modeling with Event-B: An Experience with Transportation Domain |
004746 | Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
004838 | Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
004875 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France] | Schémas de développement d'adaptateurs à l'aide de B |
004924 | Boulbaba Ben Ammar [France] ; Mahamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Quelques patrons de raffinement pour le développement de diagrammes de classes UML |
004975 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy interface compliancy: data model adaptation using B refinement |
004B33 | Jeanine Souquières [France] | Editorial |
004C68 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-Based Systems |
004E17 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Towards an incremental development of UML specifications |
004E43 | Inès Mouakher [France] ; Francis Alexandre [France] ; Jeanine Souquières [France] | Protocol verification in a software component approach |
004E53 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
004E65 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Incremental development of UML specifications using operation refinements |
004E81 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-based Systems |
005063 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component-based Development using the B method |
005078 | Inès Mouakher [Tunisie] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component Adaptation: Specification and Verification |
005123 | Arnaud Lanoix [France] ; Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] | An Operator-based Approach to Incremental Development of Conform Protocol State Machines |
005223 | Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
005232 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
005328 | Jacques Julliand [France] ; Jeanine Souquières [France] | Editorial |
005713 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Verification of UML Model Elements Using B |
005714 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation of UML scenarios using the B Prover |
005777 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Ensuring specification correctness by construction |
005786 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Developing Specifications by using Operators: a Process to guarantee correctness by construction |
005798 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Checking Consistency of UML state and sequence diagrams using B |
005822 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | A Step-by-step Process to Build Conform UML Protocol State Machines |
005824 | Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Component-Based Software and System Development |
006277 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Consistency in UML and B Multi-view Specifications |
006394 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Un outil support pour prendre en compte des propriétés objets de réciprocité en B |
006407 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Prise en compte des propriétés objets de réciprocité en B |
006452 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation of UML static diagrams using B |
006465 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Test of object-based specifications using B notations |
006481 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
006482 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
006533 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Development of objectoriented and formal multi-view specifications |
006539 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Consistency in UML and B multi-view specifications |
006C44 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
006D44 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B |
006D63 | Maritta Heisel ; Jeanine Souquières [France] | Spécification de composants pour assurer leur interopérabilité |
006D85 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Opérations de construction de spécification multi-vues UML et B |
006E23 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Concepts importants à la construction de spécifications multi-vues UML et B |
006E85 | Maritta Heisel ; Jeanine Souquières [France] | Specifying Components for Checking Interoperability |
007032 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Developing UML and B specification using operators : an application to the data refinement |
007052 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Consistency checking of UML static diagrams using B |
007067 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Boo - A formal approach to specification and verification of object-oriented system |
007083 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | An approach for the verification of UML models using B |
007090 | Maritta Heisel [France] ; Jeanine Souquières [France] | Adding feature to component-based systems |
007B98 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Vers la construction de spécifications multi-vues UML et B |
007C00 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B |
007C07 | Hung Ledang [France] ; Jeanine Souquières [France] | Transformation systématique de spécifications UML en B |
007C67 | Jeanine Souquières [France] ; Maritta Heisel | Formalisation des besoins à l'aide de schémas LSCs |
007D05 | Hung Ledang [France] ; Jeanine Souquières [France] ; Sebastien Charles [France] | ArgoUML+B : un outil de transformation systématique de spécifications UML en B |
007E67 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | An approach for the verification of UML models using B |
007E79 | Maritta Heisel ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
008045 | Hung Ledang [France] ; Jeanine Souquières [France] | Integration of UML Views using B Notation |
008709 | Jeanine Souquières [France] | Editorial |
008820 | Hung Ledang [France] ; Jeanine Souquières [France] | Contributions for Modelling UML State-Charts in B |
008A50 | Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France] | Toward a Formal Model of Software Components |
008A99 | Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France] | On the Specification of Components - the JavaBeans Example |
008B24 | Hung Ledang [France] ; Jeanine Souquières [France] | Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B |
008B38 | Nicole Lévy [France] ; Rafael Marcano Kamenoff [France] ; Jeanine Souquières [France] | From Requirements to Formal Specification Using UML and B |
008B55 | Hung Ledang [France] ; Jeanine Souquières [France] | Derivation Schemes from OCL Expressions to B |
008B59 | Hung Ledang [France] ; Jeanine Souquières [France] | Contributions for Modelling UML State-Charts in B |
008C31 | Hung Ledang [France] ; Jeanine Souquières [France] | Modeling class operations in B: application to UML behavioral diagrams |
008C53 | Hung Ledang [France] ; Jeanine Souquières [France] | Formalizing UML Behavioral Diagrams with B |
008C67 | Hung Ledang [France] ; Jeanine Souquières [France] | Integrating UML and B Specification Techniques |
009612 | Hung Ledang [France] ; Jeanine Souquières [France] | New Approach for Modeling State-Chart Diagrams in B |
009618 | Hung Ledang [France] ; Jeanine Souquières [France] | Modeling the class operations in B: a case study on the pump component |
009809 | Rafael Marcano Kamenoff [France] ; Eric Meyer [France] ; Nicole Lévy [France] ; Jeanine Souquières [France] | Utilisation de patterns dans la construction de specifications en UML et B |
00A023 | Jeanine Souquières [France] ; Maritta Heisel | Une méthode pour l'élicitation des besoins : application au système de contrôle d'accès |
00A057 | Jeanine Souquières [France] | Logiciels et modèles de développement |
00A064 | Eric Meyer [France] ; Jeanine Souquières [France] | Le paradigme objet pour l'aide au développement de spécifications formelles B |
00A065 | Jeanine Souquières [France] | Le CMM et ses exigences concernant la gestion de projet, l'assurance qualité et la sous-traitance |
00A137 | Jeanine Souquières [France] ; Maritta Heisel | Structuring the First Steps of Requirements Elicitation |
00A301 | Jeanine Souquières [France] ; Maritta Heisel | A Method for Systematic Requirements Elicitation: Application to the Light Control System |
00A302 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Heuristic Algorithm to Detect Feature Interactions in Requirements |
00AA54 | Eric Meyer [France] ; Jeanine Souquières [France] | A Systematic Approach to Transform OMT Diagrams to a B Specification |
00AA60 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
00AC42 | Jeanine Souquières [France] ; Maritta Heisel | Requirements elicitation and specification |
00AC43 | Maritta Heisel ; Jeanine Souquières [France] | Requirements Elicitation for a Light Control System |
00AD58 | Eric Meyer [France] ; Jeanine Souquières [France] | A systematic approach to transform OMT diagrams to a B specification |
00AD69 | Maritta Heisel ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
00B630 | Maritta Heisel [France] ; Jeanine Souquières [France] | Methodological Support for Requirements Elicitation and Formal Specification |
00B665 | Maritta Heisel [France] ; Jeanine Souquières [France] | Detecting Feature Interaction - A Heuristic Approach |
00B702 | Thomas Lambolais [France] ; Jeanine Souquières [France] | Achieving Qualities During the Development of LOTOS Specifications |
00B717 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Method to Express Requirements and Transform them into a Formal Specification |
00B718 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Heuristic Approach to Detect Feature Interactions in Requirements |
00E620 | Eric Dubois [Belgique] ; Nicole Levy [France] ; Jeanine Souquières [France] | Formalising restructuring operators in a specification process |
This area was generated with Dilib version V0.6.33. |